integral_0^1 (1/2+log(sqrt(1+x)))